$\forall$$i$, $j$:Id. $i$ = $j$ $\in$ $\mathbb{B}$